MySQL : Drop a unique key if exists -- but without knowing name of the key or whether it exists